21. Between mind and computer :
المؤلف: eds.: P.-Z. Wang ; K.-F. Loe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Fuzzy-Logik.,Fuzzy-Menge.,Fuzzy-Regelung.
رده :
QA76
.
E377
1998
22. Building Java programs :
المؤلف: Stuart Reges, University of Washington ; Marty Stepp, Stanford University.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Java (Computer program language),Java (Computer program language)
رده :
QA76
.
73
.
J38
R447
2017
23. Catalogue of Artificial Intelligence Tools
المؤلف: edited by Alan Bundy, Lincoln Wallen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
24. Coalgebraic methods in computer science :
المؤلف: Corina Cîrstea (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
25. Computation, logic, games, and quantum foundations :
المؤلف: Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.
رده :
QA76
.
B633
2013
26. Computational Logic - CL 2000 :
المؤلف: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
27. Computational logic and set theory :
المؤلف: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Set theory
رده :
QA248
.
S39
2011eb
28. Computational logic in multi-agent systems :
المؤلف: João Leite [and others] (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic, Congresses,Multiagent systems, Congresses
رده :
QA76
.
9
.
L63
C55
2011
29. Computational logic in multi-agent systems :
المؤلف: João Leite [and 4 others] (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational intelligence, Congresses,Multiagent systems, Congresses
رده :
QA76
.
76
.
I58
C55
2013
30. Computer Models of Speech Using Fuzzy Algorithms.
المؤلف: De Mori, Renato.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
TK7882
.
S65
D466
2011
31. [Computer aided systems theory] [revised selected papers]
المؤلف: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
32. Computer supported education :
المؤلف: Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
33. Conceptual graphs and fuzzy logic
المؤلف: Tru Hoang Cao,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Fuzzy graphs,Conceptual structures )Information theory(,Fuzzy logic,Logic programming,Computational intelligence,Begriffsgraph^aswd,Fuzzy-logisches Schliessen^aswd,Nateurliche Sprache^aswd,Ontologie ^aswd
رده :
QA
.
C35
166
.
175
2010
34. Conceptual graphs and fuzzy logic : a fusion for representing and reasoning with linguistic information
المؤلف: Tru Hoang Cao
المکتبة: (طهران)
موضوع: ، Fuzzy graphs,، Conceptual structures )Information theory(,، Fuzzy logic,، Logic programming,، Computational intelligence
رده :
QA
166
.
175
.
C37C6
35. Correct reasoning
المؤلف: Esra Erdem ... [et al.] (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence,Logic programming
رده :
QA76
.
63
.
C67
2012eb
36. Cybernetics and systems '86 :
المؤلف: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
37. Declarative Agent Languages and Technologies II.
المؤلف: Joô Leite
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Lenguajes de programación -- Congresos.,Programación de ordenadores -- Congresos.
38. Declarative programming and knowledge management :
المؤلف: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
39. Domain Theory, Logic and Computation :
المؤلف: edited by G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2003
